- New
-
Topics
- All Categories
- Metaphysics and Epistemology
- Value Theory
- Science, Logic, and Mathematics
- Science, Logic, and Mathematics
- Logic and Philosophy of Logic
- Philosophy of Biology
- Philosophy of Cognitive Science
- Philosophy of Computing and Information
- Philosophy of Mathematics
- Philosophy of Physical Science
- Philosophy of Social Science
- Philosophy of Probability
- General Philosophy of Science
- Philosophy of Science, Misc
- History of Western Philosophy
- Philosophical Traditions
- Philosophy, Misc
- Other Academic Areas
- Journals
- Submit material
- More
Works by Ann M. Singleterry
42 found
Order:
- Alfred Tarski. Introduction to logic and to the methodology of deductive sciences. Third edition of VI 30. Oxford University Press, New York1965, viii + 252 pp.Ann M. Singleterry - 1966 - Journal of Symbolic Logic 31 (4):674.
- An Informal Arithmetical Approach to Computability and Computation.How to Program an Infinite Abacus.Ann M. Singleterry, Z. A. Melzak & Joachim Lambek - 1966 - Journal of Symbolic Logic 31 (3):514.
- A New Principle of Construction of Logical Machines.Ann M. Singleterry & Laszlo Kalmar - 1966 - Journal of Symbolic Logic 31 (3):516.
- M. I. Kargapolov. Ob eléméntarnoj téorii struktur podgrupp . Algébra i logika, Séminar, vol. 1 no. 3 , pp. 46–53.Ann M. Singleterry - 1967 - Journal of Symbolic Logic 32 (2):279-280.
- M. I. Kratko. Formal′nyé isčisléniá posta i konéčnyé automaty . Problémy kibérnétiki, Vol. 17 , pp. 41–65.Ann M. Singleterry - 1967 - Journal of Symbolic Logic 32 (3):393.
- Matématika v SSSR za sorok lét 1917–1957. Vol. 2. Biobibliografiá.(Mathematics in the USSR during the forty years 1917–1957. Vol. 2. Biobibliography.).Ann M. Singleterry - 1966 - Journal of Symbolic Logic 31 (3):516.
- Multiterminal Networks Containing the Closing Contacts of Internal Relays.Ann M. Singleterry & A. G. Lunc - 1966 - Journal of Symbolic Logic 31 (4):664.
- Yoshindo Suzuki. Enumeration of recursive sets. The journal of symbolic logic, vol. 24 no. 4 , p. 311.Ann M. Singleterry - 1968 - Journal of Symbolic Logic 33 (1):115.
- First Course in Mathematical Logic.Ann M. Singleterry - 1964 - Journal of Symbolic Logic 32 (3):421-422.
- A. G. Lunc. Mnogopolúsniki, sodéržaščié zamykaúščié kontakty vnutrénnih rélé . Doklady Akadémii Nauk SSSR, vol. 165 , pp. 47–50. [REVIEW]Ann M. Singleterry - 1966 - Journal of Symbolic Logic 31 (4):664-664.
- Allan Lytel. abc's of Boolean algebra. Howard W. Sams & Co., Inc., Indianapolis, and The Bobbs-Merrill Company, Inc., New York, 1963, 112 pp. [REVIEW]Ann M. Singleterry - 1967 - Journal of Symbolic Logic 32 (1):133.
- Bertrand Russell. Bertrand Russell's dictionary of mind, matter and morals. Edited, with an Introduction by Lester E. Denonn. Philosophical Library, New York1952, xiv + 290 pp. [REVIEW]Ann M. Singleterry - 1966 - Journal of Symbolic Logic 31 (4):675-675.
- Cobham Alan. Effectively decidable theories. Summaries of talks presented at the Summer Institute for Symbolic Logic, Cornell University, 1957, 2nd edn., Communications Research Division, Institute for Defense Analyses, Princeton, NJ, 1960, pp. 391–395. [REVIEW]Ann M. Singleterry - 1966 - Journal of Symbolic Logic 31 (4):653-653.
- Chen Chung Chang and Anne C. Morel. Some cancellation theorems for ordinal products of relations. Duke mathematical journal, vol. 27 , pp. 171–181. - Chen Chung Chang. Cardinal and ordinal multiplication of relation types. Lattice theory, Proceedings of symposia in pure mathematics, vol. 2, American Mathematical Society, Providence 1961, pp. 123–128. - C. C. Chang. Ordinal factorization of finite relations. Transactions of the American Mathematical Society, vol. 101 , pp. 259–293. [REVIEW]Ann M. Singleterry - 1966 - Journal of Symbolic Logic 31 (1):129-130.
- Frederick Binford. Solutions to the exercises in First course in mathematical logic. Blaisdell Publishing Company, New York, Toronto, and London, 1965, ix + 173 pp. [REVIEW]Ann M. Singleterry - 1967 - Journal of Symbolic Logic 32 (3):422.
- Federal Electric Corporation. Boolean algebra. A self-instructional programed manual. Prentice-Hall, Inc., Englewood Cliffs, New Jersey, 1966, ix + 246 pp. [REVIEW]Ann M. Singleterry - 1967 - Journal of Symbolic Logic 32 (1):133-134.
- G. Kreisel, J. Shoenfield, and Hao Wang. Number theoretic concepts and recursive well-orderings. Archiv für mathematische Logik und Grundlagenforschung, vol. 5 , pp. 42–64. [REVIEW]Ann M. Singleterry - 1966 - Journal of Symbolic Logic 31 (3):511-512.
- Kalmár László. A new principle of construction of logical machines. 2e Congrès International de Cybernétique, Namur, 3–10 Septembre 1958, Actes, Association Internationale de Cybernétique, Namur 1960, pp. 458–463. [REVIEW]Ann M. Singleterry - 1966 - Journal of Symbolic Logic 31 (3):516-516.
- Leon Henkin and Alfred Tarski. Cylindrical algebras. Summaries of talks presented at the Summer Institute for Symbolic Logic, Cornell University, 1957, 2nd edn., Communications Research Division, Institute for Defense Analyses, Princeton, N.J., 1960, pp. 332–340. [REVIEW]Ann M. Singleterry - 1967 - Journal of Symbolic Logic 32 (3):417.
- Leon Henkin and Alfred Tarski. Cylindric algebras. Lattice theory, Proceedings of symposia in pure mathematics, vol. 2, American Mathematical Society, Providence 1961, pp. 83–113. [REVIEW]Ann M. Singleterry - 1967 - Journal of Symbolic Logic 32 (3):415-416.
- Max Black. Introduction. A reprint of XVI 298. Philosophical analysis, A collection of essays, edited by Max Black, Prentice-Hall, Englewood Cliffs, N.J., 1963, pp. 1–13. - Alice Ambrose. The problem of linguistic inadequacy. A reprint of XVI 298. Philosophical analysis, A collection of essays, edited by Max Black, Prentice-Hall, Englewood Cliffs, N.J., 1963, pp. 14–35. - A. J. Ayer. Basic propositions. A reprint of XVI 299. Philosophical analysis, A collection of essays, edited by Max Black, Prentice-Hall, Englewood Cliffs, N.J., 1963, pp. 57–70. - Roderick M. Chisholm. The theory of appearing. A reprint of XVI 299. Philosophical analysis, A collection of essays, edited by Max Black, Prentice-Hall, Englewood Cliffs, N.J., 1963, pp. 97–112. - Herbert Feigl. De principiis non disputandum...? On the meaning and the limits of justification. A reprint of XVI 299. Philosophical analysis, A collection of essays, edited by Max Black, Prentice-Hall, Englewood Cliffs, N.J., 1963, pp. 113–147. -. [REVIEW]Ann M. Singleterry - 1997 - Journal of Symbolic Logic 31 (4):675-676.
- Patrick Suppes and Shirley Hill. First course in mathematical logic. Blaisdell Publishing Company, New York, Toronto, and London, 1964, ix + 274 pp. [REVIEW]Ann M. Singleterry - 1967 - Journal of Symbolic Logic 32 (3):421-422.
- Patrick Suppes. Mathematical logic for the schools. The arithmetic teacher, vol. 9 , pp. 396–399. - Patrick Suppes and Frederick Binford. Experimental teaching of mathematical logic in the elementary school. The arithmetic teacher, vol. 12 , Pp. 187–195. [REVIEW]Ann M. Singleterry - 1967 - Journal of Symbolic Logic 32 (3):422.
- W. V. Quine. Logic as a source of syntactical insights. Structure of language and its mathematical aspects, Proceedings of symposia in applied mathematics, vol. 12, American Mathematical Society, Providence 1961, pp. 1–5. - Irina Lynch, W. V. Quine. Comments. Structure of language and its mathematical aspects, Proceedings of symposia in applied mathematics, vol. 12, American Mathematical Society, Providence 1961, pp. 254–255. [REVIEW]Ann M. Singleterry - 1966 - Journal of Symbolic Logic 31 (3):496-497.
- Review: Alan Cobham, Effectively Decidable Theories. [REVIEW]Ann M. Singleterry - 1966 - Journal of Symbolic Logic 31 (4):653-653.
- Review: Allan Lytel, ABC's of Boolean Algebra. [REVIEW]Ann M. Singleterry - 1967 - Journal of Symbolic Logic 32 (1):133-133.Export citation
Bookmark - Review: Bertrand Russell, Bertrand Russell's Dictionary of Mind, Matter and Morals. [REVIEW]Ann M. Singleterry - 1966 - Journal of Symbolic Logic 31 (4):675-675.
- Review: Chen Chung Chang, Anne C. Morel, Some Cancellation Theorems for Ordinal Products of Relations; Chen Chung Chang, Cardinal and Ordinal Multiplication of Relation Types; C. C. Chang, Ordinal Factorization of Finite Relations. [REVIEW]Ann M. Singleterry - 1966 - Journal of Symbolic Logic 31 (1):129-130.
- Review: Frederick Binford, Solutions to the Exercises in First Course in Mathematical Logic. [REVIEW]Ann M. Singleterry - 1967 - Journal of Symbolic Logic 32 (3):422-422.Export citation Bookmark
- Review: G. Kreisel, J. Shoenfield, Hao Wang, Number Theoretic Concepts and Recursive Well-Orderings. [REVIEW]Ann M. Singleterry - 1966 - Journal of Symbolic Logic 31 (3):511-512.
- Review: J. R. Shoenfield, The Form of the Negation of a Predicate. [REVIEW]Ann M. Singleterry - 1968 - Journal of Symbolic Logic 33 (1):116-116.Export citation Bookmark
- Review: Leon Henkin, Alfred Tarski, Cylindric Algebras. [REVIEW]Ann M. Singleterry - 1967 - Journal of Symbolic Logic 32 (3):415-416.
- Review: Max Black, Philosophical Analysis, Collection of Essays. [REVIEW]Ann M. Singleterry - 1966 - Journal of Symbolic Logic 31 (4):675-676.
- Review: M. I. Kargapolov, On the Elementary Theory of Lattices of Subgroups. [REVIEW]Ann M. Singleterry - 1967 - Journal of Symbolic Logic 32 (2):279-280.
- Review: M. I. Kratko, Formal Post Calculi and Finite Automata. [REVIEW]Ann M. Singleterry - 1967 - Journal of Symbolic Logic 32 (3):393-393.Export citation Bookmark
- Review: Patrick Suppes, Shirley Hill, First Course in Mathematical Logic. [REVIEW]Ann M. Singleterry - 1967 - Journal of Symbolic Logic 32 (3):421-422.Export citation Bookmark
- Review: Patrick Suppes, Mathematical Logic for the Schools; Patrick Suppes, Frederick Binford, Experimental Teaching of Mathematical Logic in the Elementary School. [REVIEW]Ann M. Singleterry - 1967 - Journal of Symbolic Logic 32 (3):422-422.Export citation Bookmark
- R. Sikorski. On a generalization of theorems of Banach and Cantor-Bernstein. Colloquium mathematicum, vol. 1 , pp. 140–144. - Shin’ichi Kinoshita. A solution of a problem of R. Sikorski. Fundamenta mathematicae, vol. 40 , pp. 39–41. [REVIEW]Ann M. Singleterry - 1966 - Journal of Symbolic Logic 31 (1):130-131.
- Review: W. V. Quine, Logic as a Source of Syntactical Insights. [REVIEW]Ann M. Singleterry - 1966 - Journal of Symbolic Logic 31 (3):496-497.
- Review: Yoshindo Suzuki, Enumeration of Recursive Sets. [REVIEW]Ann M. Singleterry - 1968 - Journal of Symbolic Logic 33 (1):115-115.
- Shoenfield J. R.. The form of the negation of a predicate. Recursive function theory, Proceedings of symposia in pure mathematics, vol. 5, American Mathematical Society, Providence 1962, pp. 131–134. [REVIEW]Ann M. Singleterry - 1968 - Journal of Symbolic Logic 33 (1):116-116.
- Z. A. Melzak. An informal arithmetical approach to computability and computation. Canadian mathematical bulletin , vol. 4 , pp. 279–293. - Joachim Lambek. How to program an infinite abacus. Canadian mathematical bulletin , vol. 4 , pp. 295–302. [REVIEW]Ann M. Singleterry - 1966 - Journal of Symbolic Logic 31 (3):514-514.
PhilPapers logo by Andrea Andrews and Meghan Driscoll.
This site uses cookies and Google Analytics (see our terms & conditions for details regarding the privacy implications). Use of this site is subject to terms & conditions.
All rights reserved by The PhilPapers Foundation
Server: philpapers-web-64dd777598-g9b9l uwo